Столкнулся с прекрасными контролерами фирмы Siemens - LOGO! всё здорово и великолепно, но после написания несложных программок, встали задачи написания более серьёзных алгоритмов работы систем! По науке как учили (таблицы истинности, передаточные функции, карты Карно, минимизация) делать несказанно долго, да и не реально. ВОПРОС существует ли программное обеспечение подобного рода, что то типа забил таблицу истинности и хлоп тебе логическая схема!

Есть такое в Multisim.
Цитата: "Логический конвертор предназначен для проектирования логических схем. Прибор позволяет по
заданной таблице истинности получить выражение булевой логики, минимизировать его и по его
виду синтезировать требуемую логическую схему. Можно решить обратную задачу: подключив циф-
ровую схему к логическому конвертору получить таблицу истинности. В данном случае исключается
трудоемкий этап минимизации булева выражения с помощью карт Карно и ускоряется проектирова-
ние схем."

Таблица истинности - это неудобный вариант представления комбинационных схем... А есть еще последовательностные схемы, которые на таблицах не собрать.